29 research outputs found
A produção do currĂculo do final da vida por meio do dispositivo pedagĂłgico da mĂdia
Full text link
Operátori eljárásokkal irányĂtott rendszerek leĂrása a rendszer kvalitatĂv modellje alapján magas szintű Petri hálĂłk segĂtsĂ©gĂ©vel
No full textIrányĂtott technolĂłgiai rendszerek vizsgálata magas szintű Petri-hálĂłk segĂtsĂ©gĂ©vel. I. ModellezĂ©s
No full textInvariant inhesitance in structured operating procedures described by Petri nets. (Technical report of the Systems and Controls Laboratory, SCL-001-1997.)
No full text
Qualitative model based verification of operating procedures by high level Petri nets.( ESCAPE-3. European symposium on computer aided process engineering-3)
No full text
